1

Logics for reasoning about knowledge and belief

Year:
1989
Language:
english
File:
PDF, 1.65 MB
english, 1989
3

Using COCA to build an intelligent tutoring system in simple algebra

Year:
1991
Language:
english
File:
PDF, 1.15 MB
english, 1991
4

The token reification approach to temporal reasoning

Year:
1996
Language:
english
File:
PDF, 1.09 MB
english, 1996
5

Resolution theorem proving in reified modal logics

Year:
1994
Language:
english
File:
PDF, 1.93 MB
english, 1994
6

Neural networks in the study of the brain

Year:
2006
Language:
english
File:
PDF, 285 KB
english, 2006
7

STIRDAT: A system tightly integrating relational databases and a theorem prover

Year:
2000
Language:
english
File:
PDF, 157 KB
english, 2000
9

Towards a Labour Market Information System

Year:
1997
Language:
english
File:
PDF, 856 KB
english, 1997
15

The relation between global palm distribution and climate

Year:
2018
Language:
english
File:
PDF, 3.34 MB
english, 2018
19

ACT-P: A configurable theorem-prover

Year:
1994
Language:
english
File:
PDF, 1.23 MB
english, 1994
21

Socrates: a flexible toolkit for building logic-based expert systems

Year:
1988
Language:
english
File:
PDF, 1.24 MB
english, 1988
25

Handling inheritance in a system integrating logic in objects

Year:
1997
Language:
english
File:
PDF, 1.84 MB
english, 1997
29

Emergence of the Information Technology Discipline

Year:
2010
Language:
english
File:
PDF, 781 KB
english, 2010
36

Software engineering services for export and small developing economies

Year:
2000
Language:
english
File:
PDF, 1.23 MB
english, 2000
39

BOOK REVIEW

Year:
1985
Language:
english
File:
PDF, 178 KB
english, 1985
40

Articles

Year:
2009
Language:
english
File:
PDF, 609 KB
english, 2009
43

MENTAL MODELS AND DISCOURSE

Year:
1982
Language:
english
File:
PDF, 653 KB
english, 1982
44

Reviews

Year:
1992
Language:
english
File:
PDF, 203 KB
english, 1992
46

IT 2008

Year:
2010
Language:
english
File:
PDF, 718 KB
english, 2010
49

Comparison of computing programs at the level of intent

Year:
2005
Language:
english
File:
PDF, 186 KB
english, 2005
50

Outcomes-based computing accreditation criteria

Year:
2006
Language:
english
File:
PDF, 35 KB
english, 2006